Works by V. A. Lifshits

( view other items matching `V. A. Lifshits`, view all matches )
4 found
Order:
  1.  9
    Deductive validity and reduction classes.V. A. Lifshits - 1969 - In A. O. Slisenko (ed.), Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 26--28.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  21
    On Constructive Groups.V. A. Lifshits - 1969 - In A. O. Slisenko (ed.), Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 32--35.
    Some questions connected with the carry over of fundamental group theory to constructive mathematics, and with the relationship between classical and constructive group theories are considered herein. All the considerations are carried out within the scope of constructive mathematics.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  14
    Problem of decidability for some constructive theories of equalities.V. A. Lifshits - 1969 - In A. O. Slisenko (ed.), Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 29--31.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  13
    Some reduction classes and undecidable theories.V. A. Lifshits - 1969 - In A. O. Slisenko (ed.), Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 24--25.
    Direct download  
     
    Export citation  
     
    Bookmark